Feeds to Scour
SubscribedAll
Scoured 255299 posts in 8.30 s
To sign or not to sign: Practical vulnerabilities in GPG & friends (39c3)
cdn.media.ccc.deยท5h
๐Ÿ”“Binary Exploitation
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท12h
๐Ÿ—๏ธMLIR
Preview
Report Post
Proxy and Reflect in JavaScript
dev.toยท8hยท
Discuss: DEV
๐Ÿ”„Effect Handlers
Preview
Report Post
CVE-2025-68260: rust_binder: fix race condition on death_list
lore.kernel.orgยท2hยท
Discuss: Hacker News
๐Ÿฆ€Rayon
Preview
Report Post
[Discussion] The "Noise" Bottleneck in Local 8B RAG โ€“ A comparison of cleaning strategies (Regex vs. Unstructured vs. Entropy)
reddit.comยท5hยท
Discuss: r/LocalLLaMA
๐Ÿ“ŠHyperLogLog
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ›ก๏ธError Handling
Preview
Report Post
LangChain core vulnerability allows prompt injection and data exposure
securityaffairs.comยท6h
๐Ÿ”“Binary Exploitation
Preview
Report Post
BankGPT TryHackMe Writeup Walkthrough
infosecwriteups.com
ยท19h
๐Ÿ”Linux BPF
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.comยท1d
๐Ÿ”ฌValgrind Tools
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.ioยท6h
๐Ÿ’“PHI Accrual
Preview
Report Post
Friendly Little Wrapper Typesโ€Šโ€”โ€ŠSympolymathesy, by Chris Krycho
v5.chriskrycho.comยท2h
๐Ÿ“ฆSerde
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐Ÿ—๏ธPavex
Preview
Report Post
Department of Computer Science and Technology โ€“ Technical reports: UCAM-CL-TR-949
cl.cam.ac.ukยท2hยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.comยท2dยท
Discuss: r/cpp
๐Ÿ”จIncremental Compilation
Preview
Report Post
Cleartext Signatures Considered Harmful
gnupg.orgยท6hยท
Discuss: Hacker News
๐Ÿ”Linux BPF
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท5h
๐Ÿ’ŽRefinement Types
Preview
Report Post
Infinite Software Crisis
gearsofmedicine.comยท1d
๐Ÿ”“Binary Exploitation
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.comยท14h
๐ŸŒ€Naiad
Preview
Report Post
Jailbreaks Peak Early, Then Drop: Layer Trajectories in Llama-3.1-70B
lesswrong.comยท11h
โšกLMAX Disruptor
Preview
Report Post